1. Formal methods :
پدیدآورنده : Flemming Nielson, Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
رده :
QA76
.
9
.
F67
N45
2019
2. ML with concurrency: design, analysis, implementation, and application
پدیدآورنده : Nielson, Flemming
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6
.
N54
1996
3. ML with concurrency : design, analysis, implementation, and application
پدیدآورنده : Nielson, Flemming
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6
N54
1996
4. ML with concurrency : design, analysis, implementation, and applications
پدیدآورنده : Nielson, Flemming, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6N5
5. Principles of security and trust :
پدیدآورنده : Flemming Nielson, David Sands (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
P67
2019eb
6. 28, 2010. Revised Selected Papers-WITS 2010, Paphos, Cyprus,March 27-Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA
پدیدآورنده : / Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
7. Two-level functional languages /
پدیدآورنده : Flemming Nielson, Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Functional programming languages.,génération code.,interprétation abstraite.,lambda calcul.,logique combinatoire.,théorie type.,Functional programming languages.,Functionele talen.,Funktionale Programmiersprache,Funktionale Programmiersprache.,Implementation,Implementierung,Implementierung.,Lambda-calcul.,Langages de programmation fonctionnelle.,Programmation fonctionnelle (informatique)
رده :
QA76
.
62
.
N54
1992